Automata Cascades: Expressivity and Sample Complexity

Logic between Expressivity and Complexity

Automated deduction is not just application or implementation of logical systems. The field of computational logic also poses deep challenges to our understanding of logic itself. I will discuss some key issues. This text is just an appetizer that will be elaborated in the lecture. 1 Logic and the Balance of Expressive Power and Computational Complexity Defining and proving/computing are the ma...

HTN Planning: Complexity and Expressivity

Most practical work on AI planning systems during the last fifteen years has been based on hierarchical task network (HTN) d ecomposition, but until now, there has been very little analytical work on the properties of HTN planners. This paper describes how the complexity of HTN planning varies with various conditions on the task networks. networks are required to be totally ordered, and (3) whe...

Expressivity and Complexity of MongoDB Queries

In this paper, we consider MongoDB, a widely adopted but not formally understood database system managing JSON documents and equipped with a powerful query mechanism, called the aggregation framework. We provide a clean formal abstraction of this query language, which we call MQuery. We study the expressivity of MQuery, showing the equivalence of its well-typed fragment with nested relational a...

Expressivity and Complexity of Dependence Logic

On the Expressivity and Complexity ofQuantitative Bran hing - Time